Tnfrsf11a<tm1Kost> MGI:4840355 huRANKL http://identifiers.org/mgd/MGI:4840355 targeted mutation 1, Paul J Kostenuik